projects / llvm-toolchain-9.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6fa875d) | patch
Disable z3 to avoid pulling ocaml into main.
authorGianfranco Costamagna <locutusofborg@debian.org>
Sat, 7 Mar 2020 00:01:35 +0000 (00:01 +0000)
committerGianfranco Costamagna <locutusofborg@debian.org>
Sat, 7 Mar 2020 00:01:35 +0000 (00:01 +0000)
commitb1b15d7b3e88885a346efab488c6b75ff2ddd727
tree75d30f2069294deb190b265841964c224b9c9282tree | snapshot
parent6fa875d7c9b20fce2652eece6bfffd342cd4d756commit | diff
Disable z3 to avoid pulling ocaml into main.

For some reason the cmake option LLVM_ENABLE_Z3_SOLVER was not taken into account
Last-Update: 2019-11-26

Gbp-Pq: Name no-z3.patch
llvm/CMakeLists.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.